Wyniki
-
Decidability of mereological theories
Hsing-chien Tsai
Logic and Logical Philosophy , 18 /1 (2009) s. 45-63 -
More on the decidability of mereological theories
Hsing-chien Tsai
Logic and Logical Philosophy , 20 /3 (2011) s. 251-265 -
Finitely inseparable first-order axiomatized mereotopological theories
Hsing-chien Tsai
Logic and Logical Philosophy , 22 /3 (2013) s. 347-363